Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
151	A Field Guide to Internet Trust by Kaliya “Identity Woman” Hamlin and Steve Greenberg Summary The decreasing cost of computation and communication has made it easier than ever before to be a service provider, and has Add to Reading List Source URL: www.identitywoman.net Language: English - Date: 2014-05-05 14:05:14 Computing Identity assurance Liberty Alliance Peer-to-peer Security Assertion Markup Language Cloud computing Information Card OpenID Identity management Identity Computer security
152	DE-IDENTIFICATION SYMPOSIUM: Preserving Privacy AND Advancing Data Analytics ~ Agenda ~ October 21, 2014 9:30 – 10:00am Add to Reading List Source URL: www.ryerson.ca Language: English - Date: 2015-04-22 10:59:00 Data privacy Law Ann Cavoukian Information privacy Internet privacy De-identification Secure multi-party computation Surveillance Ethics Privacy Data protection
153	Part III Michaelmas 2011 QUANTUM COMPUTATION EXERCISE SHEET 3 (v1.1) Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-06-11 09:48:33 Quantum information science Quantum mechanics Models of computation Quantum algorithms Quantum circuit Matrix Adjacency matrix Eigenvalues and eigenvectors Quantum phase estimation algorithm Mathematics Algebra Theoretical computer science
154	Quantum Information and Computation, Vol. 1, No{93 c Rinton Press MAJORIZATION AND THE INTERCONVERSION OF BIPARTITE STATES Add to Reading List Source URL: michaelnielsen.org Language: English - Date: 2014-12-09 09:23:17 Matrices Quantum information science Quantum mechanics Linear algebra Majorization Order theory Density matrix Schur-convex function Matrix Algebra Mathematics Physics
155	Quantum boolean functions Ashley Montanaro∗ and Tobias J. Osborne† April 12, 2010 Abstract In this paper we introduce the study of quantum boolean functions, which are unitary Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2010-04-12 04:17:34 Quantum mechanics Models of computation Quantum algorithm Quantum error correction Quantum measurement Quantum computer Quantum circuit Boolean algebra Quantum programming Theoretical computer science Quantum information science Applied mathematics
156	Unbounded Error Quantum Query Complexity Ashley Montanaro1 , Harumichi Nishimura2 and Rudy Raymond3 December 10, Department of Computer Science, University of Bristol, UK Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2007-12-10 06:35:35 Analysis of algorithms Models of computation Quantum information science Quantum algorithm Decision tree model PP Quantum computer Time complexity Randomized algorithm Theoretical computer science Applied mathematics Computational complexity theory
157	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
158	LFMTPNominal Reasoning Techniques in Coq (Extended Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Lambda calculus Theory of computation Computability theory Functions and mappings Logic in computer science Combinatory logic Function Primitive recursive function De Bruijn index Mathematics Theoretical computer science Mathematical logic
159	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
160	Motivation and data quality in a citizen science game: A design science evaluation Kevin Crowston & Nathan R. Prestopnik Syracuse University School of Information Studies [removed] & [removed] Add to Reading List Source URL: crowston.syr.edu Language: English - Date: 2012-09-14 22:58:23 Human-based computation Motivation Gameplay Evaluation Scientific method Usability Citizen science Simulation Ethology Science Human–computer interaction Behavior

UPDATE